RESY: Requirement Synthesis for Compositional Model Checking⋆ Bernd Finkbeiner, Hans-J¨org Peter, and Sven Schewe Universit¨ at des SaarlandesSaarbr¨

Source URL: cgi.csc.liv.ac.uk

• Promela
• Software engineering
• Model checkers
• Model checking
• SPIN model checker

Dynamic Reconfiguration of GCM components A.Basso, A. Bolotov, V. Getov {A.Basso,A.Bolotov,A.Getov}@wmin.ac.uk University of Westminster, UK L. Henrio

Source URL: coregrid.ercim.eu

• Formal methods
• Logic in computer science
• Formal sciences
• Cybernetics
• Formal verification
• Theoretical computer science
• Model checking
• Modal logic
• Deontic logic
• Logic
• Mathematical logic
• Applied mathematics

A Solver for Modal Fixpoint Logics Oliver Friedmann Martin Lange Dept. of Computer Science University of Munich Munich, Germany

Source URL: files.oliverfriedmann.de

• Mathematics
• Non-classical logic
• Logic in computer science
• Modal logic
• Philosophical logic
• Temporal logic
• Model checking
• Parity game
• Ω-automaton
• Logic
• Mathematical logic
• Automata theory

CrystalBall: Predicting and Preventing Inconsistencies in Deployed Distributed Systems Maysam Yabandeh, Nikola Kneˇzevi´c, Dejan Kosti´c and Viktor Kuncak School of Computer and Communication Sciences, EPFL, Switzerla

Source URL: lara.epfl.ch

• Chord
• Model checking
• Distributed computing
• Routing
• Distributed data storage
• Computing
• Distributed hash table

Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms? Annu Gmeiner, Igor Konnov, Ulrich Schmid, Helmut Veith, and Josef Widder Vienna University of Technology (TU Wien) Abstract. Recently we

Source URL: forsyte.at

• Fault-tolerant computer systems
• Fault tolerance
• Cryptography
• Theory of computation
• Consensus
• Model checking
• Distributed computing
• Byzantine fault tolerance
• Distributed algorithm
• Computing
• Theoretical computer science
• Concurrent computing

Parameterized Model Checking of Fault-tolerant Distributed Algorithms by Abstraction Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef Widder Vienna University of Technology (TU Wien) Abstract—We introduce an

Source URL: www.cs.utexas.edu

• Abstraction
• Data management
• FO
• Model checking
• Abstract interpretation
• Function
• Interpretation
• Mathematics
• Mathematical logic
• Theoretical computer science

Software Verification and Graph Similarity for Automated Evaluation of Students’ AssignmentsI Milena Vujoˇsevi´c-Janiˇci´ca,∗, Mladen Nikoli´ca , Duˇsan Toˇsi´ca , Viktor Kuncakb a Faculty of Mathematics, Un

Source URL: lara.epfl.ch

• Software testing
• LLVM
• Software bug
• Model checking
• Software development process
• Software verification
• Static single assignment form
• Software
• Programming language implementation
• Compilers

On the Completeness of Bounded Model Checking for Threshold-Based Distributed Algorithms: Reachability Igor Konnov, Helmut Veith, and Josef Widder ?

Source URL: forsyte.at

SMT and POR beat Counter Abstraction: Parameterized Model Checking of Threshold-Based Distributed Algorithms? Igor Konnov, Helmut Veith, and Josef Widder * Consi

Source URL: forsyte.at

• Probability theory
• Metalogic
• Model theory
• Automata theory

Contents Foreword xiii Preface

Source URL: www-i2.informatik.rwth-aachen.de

• Temporal logic
• Model checkers
• Mathematics
• Model checking
• Linear temporal logic
• Computation tree logic
• PAT
• Bisimulation
• Probabilistic bisimulation
• Theoretical computer science
• Logic in computer science
• Applied mathematics